Knihy od autora Orna Grumberg

Zobrazeno 1 – 4 z 4 výsledků

1. 

   25 Years of Model Checking

   Orna Grumberg, Helmut Veith | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   877 Kč

   Koupit
2. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Orna Grumberg, Michael Huth | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2645 Kč

   Koupit
3. 

   Languages: From Formal to Natural

   Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1349 Kč

   Koupit
4. 

   Computer Aided Verification

   Orna Grumberg | Springer, Berlin, 1997

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit

Doručení zdarma pro objednávky nad 1499 Kč Zjistěte více